link(${\it info}$;$e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$ecase1($e$;${\it info}$;$i$.$\cdot$;$l$,${\it e'}$.$l$)